Zephyr: toward Compiler-based Programming in Prolog
نویسندگان
چکیده
Prolog is widely used in prototyping, especially in artificial intelligence, but it has yet to gain widespread acceptance in application development. We think that the problems in this area result from the programming style enforced in existing Prolog systems. Zephyr is a new Prolog system refined and enhanced to help solve such problems. It allows users to do modular programming by always using a compiler instead of an interpreter. In this paper, we describe the unique features of Zephyr which make this possible, focusing especially on package, metafunctions, and tables, and the implementation of the system on OSl2.@'
منابع مشابه
Jitting Prolog for Fun and Profit
Most Prolog implementations are implemented in low-level languages such as C and are based on a variation of the WAM instruction set, which enhances their performance but makes them hard to write. In addition, many of the more dynamic features of Prolog (like assert), despite their popularity, are not well supported. We present a high-level continuation-based Prolog interpreter based on the PyP...
متن کاملHistory on the implementation and compilation of Prolog
Prolog, abbreviation for PROgrammation en LOGique, was designed in 1972 by Philippe Roussel, Alain Colmerauer at the University of AixMarseille and Robert Kowalski at the University of Edinburgh [1]. Since 1972, Prolog has been one of the most popular logical programming language based on Horn clause logic. Intrigued by the interesting history of Prolog, I decided to learn the nature of the des...
متن کاملUse of Prolog for developing a new programming language
This paper describes how Prolog was used for the development of a new concurrent realtime symbolic programming language called Erlang. Erlang was developed by rst building a prototype in Prolog the prototype was used by a user group to test their reactions to the language. As time passed many features were added (and removed) from the interpreter and eventually the language reached a level of m...
متن کاملDesign and Implementation of a Prolog-to-C Compiler
A WAM-based Prolog-To-C (PTC) compiler is described. It is written in the C language and used together with Paralogic's Prolog interpreter. Prolog programs may consist of several independently compiled modules. The principles of modularization are described. Mixed programming features (Prolog-C and CProlog programming interfaces) are also explained. The PTC compiler is portable and has been por...
متن کاملThe Zephyr Abstract Syntax Description Language
The Zephyr1 Abstract Syntax Description Language (ASDL) describes the abstract syntax of compiler intermediate representations (IRs) and other tree-like data structures. Just as the lexical and syntactic structures of programming languages are described with regular expressions and context free grammars, ASDL provides a concise notation for describing the abstract syntax of programming language...
متن کامل